Nondeterministic Hybrid Control Systems
نویسندگان
چکیده
This paper is concerned with the logical control of hybrid control systems (HCS). It is assumed that a discrete-event system PES) plant model has already been extracted from the continuous-time plant. The problem of hybrid control system design can then be solved by applying logical DES controller synthesis techniques to the extracted DES plant. Traditional DES synthesis methods, however, are not always applicable since the extracted plant DES will often exhibit nondeterministic transitions. This paper presents an extension of certain DES controuer synthesis techniques to the nondeterministic control automaton found in NCS. In particular, this paper derives a formula computing the supremd controllable sublanguage of a given specification language under the assumption that the DES plant exhibits nondeterministic transitions.
منابع مشابه
Control of Hybrid Systems
Hybrid systems are continuous variable, continuous time systems with a phased operation. Within each phase the system evolves continuously according to the dynamical law of that phase, and when an event occurs, the system makes a transition from one phase to the next. Thus, hybrid systems display both discrete and continuous behavior. The discrete behavior consists of abrupt transitions between...
متن کاملDealing with Nondeterminism in Symbolic Control
Abstractions (also called symbolic models) are simple descriptions of continuous and hybrid systems that can be used in analysis and control. They are usually constructed in the form of transition systems with finitely many states. Such abstractions offer a very attractive approach to deal with complexity, while at the same time allowing for rich specification languages. Recent results show tha...
متن کاملNondeterministic Stochastic Differential Dynamic Logic
Complex hybrid systems can have several sources of uncertainty. Uncontrollable events that change the state of the system and can be triggered unpredictably or adversarially are typically modelled as nondeterministic whereas events to which we can attribute some likelihood, either because of their fundamental nature or because of simplifying assumptions, are typically modelled as stochastic. Al...
متن کاملA Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuous dynamics and emphasis is placed on the nondeterministic nature of the abstracting models. The regulator problem for hybrid systems is formulated for safety specifications and algorithms for control design are presented.
متن کاملViable Control of Hybrid Systems
Hybrid systems are continuous variable, continuous time systems with a phased operation. Within each phase the system evolves continuously according to the dynamical law of that phase; when an event occurs, the system makes a transition from one phase to the next. In this paper, we study hybrid systems with nondeterministic discrete and continuous behaviors. We use nondeterministic nite automat...
متن کامل